automatic theorem proving
[网络] 自动定理证明；机械证明定理
热门查询
- finder n. 发现者；探测器；（照相机的）[摄] 取景器；（大望远镜上的）[天] 寻星镜 n. (Finder)人名；(英、德、瑞典、法)芬德
- beautify vt. 使美化，使变美 vi. 美化
- confounding n. [数] 混杂；混淆 v. 混淆（confound的ing形式）；使困惑，弄糊涂
- Maoris n. （新西兰的）毛利人( Maori的名词复数 ); 毛利语
- individual n. 个人，个体 adj. 个人的；个别的；独特的
- contagion n. 传染病；蔓延；触染
- microsurgical 显微手术
- bodice n. 女服的紧身上衣
- ugly adj. 丑陋的；邪恶的；令人厌恶的
- credential n. 证书；凭据；国书
- epigone n. 追随者；天赋不如先辈的子孙；蹩脚的模仿者（等于epigon）
- clothespin n. （晒衣用的）衣夹
- individualize vt. 赋予个性；个别处理；使适应个别需要
- biomechanics n. 生物力学；生物机械学
- decommission vt. 使…退役；解除…的军职
- behavioristic adj. 行动主义的
- meddling n. 干预；瞎管 v. 干预；瞎弄（meddle的ing形式） adj. 干预的
- Monaco n. 摩纳哥（欧洲西南部国家）
- treasured 珍藏的（treasure的变体） 重视的（treasure的变体 ） 心爱的（treasure的变体）
- swimwear n. 游泳衣
考试词汇表
- inner product feedback control
- inner ring with double raceway
- inner ventral terminal spinule
- innovation-development process
- inoculation and seed treatment
- inorganic analytical chemistry
- inorganic chemical engineering
- inorganic colloidgelled grease
- inorganic compounds of RHENIUM
- inorganic compounds of RHODIUM
- inorganic compounds of SILICON
- inorganic compounds of URANIUM
- inorganic coordination polymer
- inorganic crystal scintillator
- inorganic dielectric capacitor
- inorganic fire retardant paint
- inorganic gel thickened grease
- inorganic gel-thickened grease
- inorganic qualitative analysis
- inorganic solidification agent
